#include <stdio.h>

int main(int argc, char *argv[])
{
	int a[3], i, j;
	scanf("%d %d %d", &a[0], &a[1], &a[2]);

	for (i = 1; i < 3; i++) {
		for (j = 3-1; j >= i; j--) {
			if (a[j-1] > a[j]) {
				int tmp = a[j];
				a[j] = a[j-1];
				a[j-1] = tmp;
			}
		}
	}


	if ((a[0]+1 == a[1]) && (a[1]+1 == a[2])) {
		printf("TRUE\n");
	} else {
		printf("FALSE\n");
	}

	return 0;
}
